[] : { x = List Bool }.x
